فلنضع أولا ، ضرورة السلب « 1 » ؛ ولنجعل الصغرى الممكنة ، مطلقة موجودة « 2 » ، وان كذبتا ؛ ولكن يكون كذبا « 3 » غير محال فنقول بالضرورة ، ليس بعض ج ا ، وكل ج ب ؛ فبالضرورة ، ليس بعض ب ا « 4 » ، وكان كل ب ا « 5 » بالامكان ؛ هذا كذب محال . « 6 » والقياس منتج واحدى المقدمتين كذب غير محال ؛ فلا يلزم منه محال ؛ لان الكذب الغير المحال « 7 » يمكن « 8 » في وقت ما أن يوجد ، ويوجد لا محالة حينئذ ، ما يلزمه معه . لأنه ان كان يوجد هو ، دون « 9 » ما يلزمه ، فليس ذلك لازما له « 10 » ، وإذا « 11 » كان يوجد في حال ، فليس بكذب محال . والكذب « 12 » الغير المحال « 13 » لا يلزم منه محال فبقى أن يكون لزومه ، بسبب الضرورية « 14 » السالبة « 15 » ، فهي كاذبة . ولنجعل أيضا الضرورية ، ايجابية ؛ فقد بينا « 16 » نحن :

--> ( 1 ) - ق : السلب ( 2 ) - ها وجودية ( 3 ) - ق ، هج ، ط : كذبنا . . . كذبنا ؛ ب : كذبتا . . . كذبا ؛ ها : كذبتا . . . كذبا ( 4 ) - هامش ب : من الشكل الثالث . ه منه . على هذا الترتيب ؛ ( 5 ) - ق : كل ج ا ( 6 ) - هج : ومحال ( 7 ) - د ، ط ، ق : المحال ( 8 ) - ق : ممكن ( 9 ) - ها « كون » بجاى « هودون » ( 10 ) - هج ، د ، ق : له ( 11 ) - د ط : ان ( 12 ) - د ط ، ها : فالكذب ( 13 ) - ب : محال ( 14 ) - د ، ط ، هج : الضرورة ( 15 ) - ب ، هج ، ط « السالبة » ندارد ( 16 ) - ق : وقد بينا